Design Evaluation: Decomposition and State-space Analysis
نویسندگان
چکیده
منابع مشابه
Decomposition of Gene Expression State Space Trajectories
Representing and analyzing complex networks remains a roadblock to creating dynamic network models of biological processes and pathways. The study of cell fate transitions can reveal much about the transcriptional regulatory programs that underlie these phenotypic changes and give rise to the coordinated patterns in expression changes that we observe. The application of gene expression state sp...
متن کاملState Space Decomposition for Nonautonomous Dynamical Systems
Decomposition of state spaces into dynamically different components is helpful for the understanding of dynamical behaviors of complex systems. A Conley type decomposition theorem is proved for nonautonomous dynamical systems defined on a non-compact but separable state space. Namely, the state space can be decomposed into a chain recurrent part and a gradient-like part. This result applies to ...
متن کاملCorrect-by-design Control Synthesis for Multilevel Converters using State Space Decomposition
High-power converters based on elementary switching cells are more and more used in the industry of power electronics owing to various advantages such as lower voltage stress and reduced power loss. However, the complexity of controlling such converters is a major challenge that the power manufacturing industry has to face with. The synthesis of industrial switching controllers relies today on ...
متن کاملA Monte Carlo Algorithm Based on a State-space Decomposition Methodology for Flow Network Reliability Evaluation
The exact evaluation of the probability that the maximum stow is greater than or equal to a xed value d in a stochastic ow network is an NP-hard problem. This limitation leads to consider Monte Carlo alternatives. In this paper, we show how to exploit the state-space decomposition methodology of Doulliez and Jamoulle for deriving a Monte Carlo simulation algorithm. We show that the resulting Mo...
متن کاملFighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different approaches. In this paper we focus on explicit finite state model checking and study this area from practitioner’s point of view. We provide a systematic overview of techniques for fighting state space explosion and we ana...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Polytechnica
سال: 2003
ISSN: 1805-2363,1210-2709
DOI: 10.14311/460